“Already/Not Yet”

Different and yet alike

233 Last year saw the posthumous publication of Stephen Jay Gould’s last volume, The Hedgehog, the Fox and the Magister’s Pox (Gould, 2003) with the subtitle ‘Mending and minding the misconceived gap between science and the humanities’. The two protagonists were chosen to represent metaphorically a stereotypical disparity between two different ways of ‘knowing’ or looking at nature. The hedgeho...

Yet Another java.lang.Class

Yet another journal …

Circular (Yet Sound) Proofs

We introduce a new way of composing proofs in rule-based proof systems that generalizes tree-like and dag-like proofs. In the new definition, proofs are directed graphs of derived formulas, in which cycles are allowed as long as every formula is derived at least as many times as it is required as a premise. We call such proofs circular. We show that, for all sets of standard inference rules, ci...

Yet Another Language Identifier

Language identification of written text has been studied for several decades. Despite this fact, most of the research is focused on a few most spoken languages, whereas the minor ones are ignored. The identification of a larger number of languages brings new difficulties that do not occur for a few languages. These difficulties are causing decreased accuracy. The objective of this paper is to i...